html, body {
    margin: 0;
    height: 100%;
}
body {
    font-family: "Helvetica", "Arial", sans-serif;
    -webkit-user-select: none;
    -moz-user-select: none;

    display: flex;
    flex-direction: column;
    overflow: auto;
}

table {
    border-collapse: collapse;
    overflow: auto;
}
tr.even {background: #def;}
tr.odd  {background: #fff;}
tr.clicked  {background: #5af;}
 td {
    white-space: pre;
    padding: 2px 8px;
}
.wrappable {
    /*white-space: normal;*/
}
th.active {text-decoration: underline; }
th.active-flip {text-decoration: overline; }

.srcbutton:hover {
    background: #89D0FF;
}

.clicked  {background: #5af;}
.button {

    font-size: 24px;
    font-weight: bold;
    text-align: center;

    box-shadow: 2px 2px 1px #ddd;
    border: none;
    cursor:pointer;

    padding: 10px 20px;
    margin: 3px 10px;
    display: inline-block; vertical-align: top
}

.textHolder {
    flex: 1;
    box-shadow: 2px 2px 1px #ddd;
    background: red;
    flex-direction: row;
    display: flex;
    padding: 0;
    margin: 0;
}
.textHeader {
    flex: none;
    flex-direction: row;
    display: flex;
    padding: 0;
    margin: 0;
}

.filled {
    font-family: monospace;
    font-size: 24px;
    width: 100%;
    height: 100%;

}

textArea {
    width: 100%;
}

.obj-block {margin-left: 20px;}

